Contexts in Dynamic Predicate Logic
نویسنده
چکیده
In this paper we introduce a notion of context for Groenendijk Stokhof s Dynamic Predicate Logic DPL We use these contexts to give a characterization of the relations on assignments that can be generated by composition from tests conditions and random resettings in the case that we are working over an in nite domain These relations are precisely the ones de nable in DPL if we allow ourselves arbitrary tests as a starting point We discuss some possible extensions of DPL and the way these extensions interact with our notion of context
منابع مشابه
Sequence semantics for dynamic predicate logic
In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments This semantics is compared with the usual relational semantics for dynamic predicate logic it is shown that the most important intuitions of the usual se mantics are preserved Then it is shown that the re ned semantics re ects out intuitions about information growth Some other issues in dyna...
متن کاملUpdating Anaphoric Contexts
An incremental semantics for a logic with dynamic binding is developed on the basis of a variable free notation for dynamic logic that takes its cue from De Bruijn's variable free notation for lambda calculus. De Bruijn indexing replaces variables by indices which indicate the distance to their binders. We propose to use reverse De Bruijn indexing, which works almost the same, only now the indi...
متن کاملQuantifkational Logic of Context
In this paper we extend the Propositional Logic of Context, (Buvac & Mason 1993; BuvaE, BuvaE, & Mason 1995), to the quantificational (predicate calculus) case. This extension is important in the declarative representation of knowledge for two reasons. Firstly, since contexts are objects in the semantics which can be denoted by terms in the language and which can be quantified over, the extensi...
متن کاملIncremental interpretation and dynamic semantics
The goal of this paper is to motivate and define a strictly incremental semantics for dynamic predicate logic (Groenendijk and Stokhof 1991). In particular, we will extend the incremental semantics for dynamic propositional logic introduced in Vermeulen (1994) to first-order predicate logic (borrowing central notions from Visser 2002). We call the resulting logical system Incremental Dynamic Pr...
متن کاملPredicate logic with flexibly binding operators and natural language semantics
A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including ‘donkey sentences’ and crosssentential anaphora. A proof system in natural deduction format is provided, and the formalism is compared with other accounts of this type of anaphora, in particular Dynamic Predi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Journal of Logic, Language and Information
دوره 7 شماره
صفحات -
تاریخ انتشار 1998